-
1 metamathematics
метаматематика метаматематика (наука о принципах логико-математических систем)Большой англо-русский и русско-английский словарь > metamathematics
-
2 метаматематика
Большой англо-русский и русско-английский словарь > метаматематика
-
3 metamathematics
-
4 metamathematics
-
5 metamathematics
-
6 metamathematics
The New English-Russian Dictionary of Radio-electronics > metamathematics
-
7 metamathematics
метаматематикаEnglish-Russian dictionary of technical terms > metamathematics
-
8 metamathematics
-
9 metamathematics
-
10 metamathematics
-
11 metamathematics
English-Russian big polytechnic dictionary > metamathematics
-
12 metamathematics
-
13 metamathematics
The English-Russian dictionary general scientific > metamathematics
-
14 metamathematics
[ˌmetəˌmæθɪ'mætɪks]1) Общая лексика: метаматематика (наука о принципах логико-математических систем)2) Математика: метаматематика3) Макаров: метаматематика (наука о принципах логико-мат. систем) -
15 metamathematics
-
16 metamathematics
[͵metə͵mæθıʹmætıks] n -
17 metamathematics
n метаматематика -
18 meta-
образует существительные (преимущественно с греч. корнями), обозначающие положение рядом или переход в другое качество - metagraphy транслитерация - metamorphosis метаморфоз, превращение - metabolism метаболизм, обмен веществ - metastasis метастаз - metathesis( химическое) метатезис, реакция обмена - metalanguage метаязык названия наук и их разделов, имеющих основополагающий характер - metamathematics метаматематика - metaphisics метафизика - metascience теория науки -
19 meta-
[ʹmetə-] pref1. существительные (преимущественно с греч. корнями), обозначающие положение рядом или переход в другое качество:metamorphosis - метаморфоз, превращение
metabolism - метаболизм, обмен веществ
metathesis - хим. метатезис, реакция обмена
2. названия наук и их разделов, имеющих основополагающий характер:
См. также в других словарях:
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
Робинсон, Абрахам — Абрахам Робинсон Abraham Robinson … Википедия
Абрахам Робинсон — Abraham Robinson Абрахам Робинсон (англ. Abraham Robinson, 6 октября 1918 11 апреля 1974) американский математик, создатель «нестандартного анализа». Робинсон доказал, что поле вещественных чисел может быть расширено до множества, содержащего… … Википедия
Робинсон Абрахам — Abraham Robinson Абрахам Робинсон (англ. Abraham Robinson, 6 октября 1918 11 апреля 1974) американский математик, создатель «нестандартного анализа». Робинсон доказал, что поле вещественных чисел может быть расширено до множества, содержащего… … Википедия
Металогика — (от Мета...) часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. в связи с исследованиями оснований дедуктивных наук (прежде… … Большая советская энциклопедия
МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… … Философская энциклопедия
